Positivity and complete positivity of differentiable quantum processes
نویسندگان
چکیده
منابع مشابه
Open Quantum Dynamics: Complete Positivity and Entanglement
We review the standard treatment of open quantum systems in relation to quantum entanglement, analyzing, in particular, the behaviour of bipartite systems immersed in a same environment. We first focus upon the notion of complete positivity, a physically motivated algebraic constraint on the quantum dynamics, in relation to quantum entanglement, i.e. the existence of statistical correlations wh...
متن کاملAxiomatizing complete positivity
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoher...
متن کاملBeyond complete positivity
We provide a general and consistent formulation for linear subsystem quantum dynamical maps, developed from a minimal set of postulates, primary among which is a relaxation of the usual, restrictive assumption of uncorrelated initial system-bath states. We describe the space of possibilities admitted by this formulation, namely that, far from being limited to only completely positive (CP) maps,...
متن کاملTesting Complete Positivity
We study the modified dynamical evolution of the neutral kaon system under the condition of complete positivity. The accuracy of the data from planned future experiments is expected to be sufficiently precise to test such a hypothesis.
متن کاملComplete Positivity and Natural Representation of Quantum Computations
The referenced article is about semantic models of quantum computation. In common with other approaches to programming language semantics [Win93], the general idea is to interpret a type A as a space JAK of observations about A. One interprets a computation x : A ` t : B, that produces a term t of type B but depends on a term x of type A, as a predicate transformer JBK→ JAK which maps a predica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters A
سال: 2019
ISSN: 0375-9601
DOI: 10.1016/j.physleta.2019.05.049